subgoal deduction

[网络] 子目标演绎